462. Symbolic and numerical scientific computation
Author: / Franz Winkler, Ulrich Langer (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Differential equations--Numerical solutions--Congresses,Numerical calculations--Congresses,Algebra--Data processing--Congresses
Classification :
QA
,
370
,.
S67
,
2001
463. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
Author: CALCULEMUS-2000 Symposium, Scotland, 2000
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Algebra- Data processing- Congresses ► Automatic theorem proving- Congresses
Classification :
512
C144s
464. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
Author: edited by Manfred Kerber and Michael Kohlhase
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Algebra,Congresses ، Automatic theorem proving
Classification :
QA
155
.
7
.
E4C23
2000
465. Symbolic computation and automated reasoning: the CALCULEMUS-2000 Symposium
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Algebra-- Data processing,Congresses ، Automatic theorem proving
Classification :
QA
155
.
7
.
E4
.
C35
2000
466. Symbolic computation, number theory, special functions, physics, and combinatorics
Author: edited by Frank G. Garvan and Mourad E. H. Ismail
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، q-series,Data processing -- Congresses ، Algebra,Congresses ، Number theory,Congresses ، Functions, Special,Congresses ، Mathematical physics,Congresses ، Combinatorial analysis
Classification :
QA
295
.
S97
467. Symbolic computation : solving equations in algebra, geometry, and engineering : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation : Solving Equations in Algebra, Geometry, and Engineering, Mount Holyoke College, South Hadley, MA, June 11-15, 2000
Author: Edward L. Green ... ]et al.[, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Algebra,Data processing -- Congresses ، Equations -- Numerical solutions
Classification :
QA
155
.
7
.
E4A488
2000
468. SymbolicC++: an introduction to computer algebra using object _ Oriented Programming
Author: / Tan kiat shi, Willi_Hans Steeb
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Object _ oriented Programming (Computer Science).,C++ (computer program Language),Algebra _ Data Processing.
Classification :
QA76
,.
64
.
T
35
469. Systems of reductions
Author: / B. Benninghofen, S. Kemmerich, M.M. Richter
Library: Library of College of Science University of Tehran (Tehran)
Subject: Rewriting systems (Computer science),Algebra, Universal -- Data processing,Computer algorithms
Classification :
QA
267
.
B46
1987
470. Systems of reductions
Author: B. Benninghofen, S. Kemmerich, M. M. Richter
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Rewriting systems )Computer science(,Data processing ، Algebra, Universal,، Algorithms
Classification :
QA
76
.
L28
Vol
.
277
471. Termersetzungssysteme :
Author: von Klaus Drosten.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Computer science.,Software engineering.
Classification :
QA76
.
76
.
R48
V665
1989
472. The Maple V primer
Author: / Frank Garvan
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Maple (computer file),Algebra, Data processing
Classification :
QA
155
.
7
.
E4G37
1996
473. The Maple book
Author: Garvan, Frank , 1955-
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Maple (Computer file) ► Algebra- Data processing.
Classification :
510
G244m
474. The Maple book
Author: Garvan, Frank
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Maple )Computer file(,Data processing ، Algebra
Classification :
QA
155
.
7
.
E4
G36
2002
475. The Maple book
Author: Garvan, Frank G.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Maple )Computer file(,، Algebra- Data processing
Classification :
QA
155
.
7
.
E4G36
476. The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers
Author: edited by N. Inada, T. Soma
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Algebra
Classification :
QA
155
.
7
.
E4I58
1984
477. The maple book
Author:
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Maple(coputer File),Algebra-Data processing
Classification :
510
.
28553042
G244m
478. The mathematica guidebook for numerics
Author: Trott, Michael
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Data processing ، Algebra
Classification :
QA
76
.
95
.
T7727
479. The seventeen provers of the world
Author: / foreword by Dana S. Scott
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Proof theory--Data processing,Algebra--Computer programs
Classification :
QA
,
155
.
7
,.
E4
,
S48
,
2006
